Der Alloy Analyzer ist ein in der Informatik und Softwaretechnik eingesetztes Programm, das dazu genutzt werden kann, um Spezifikationen, die in der gleichnamigen Sprache geschrieben sind, zu analysieren. Das Analyseprogramm kann Instanzen der Modellinvarianten erzeugen, die Ausführung von Operationen simulieren, die als Teil des Models definiert...